• Home
• Categories
• Symbolic Execution

Symbolic Execution

SMOTL—A System to Construct Samples for Data Processing Program Debugging

Information Systems / Computer Software / Symbolic Execution / Test Data Generation / Data Processing

Download

Temporal search

Flow Control / Virtual Machine / Symbolic Execution / Time Dependent

Download